Modeling Stories for Conceptual Model Validation.

Modelagem Conceitual é uma atividade desafiadora e avaliar a qualidade de modelos conceituais produzidos é chave para garantir que possam ser usados efetivamente como base para compreensão, acordo e desenvolvimento de sistemas de informação. Modelos podem ser avaliados com relação a diferentes critérios de qualidade e neste trabalho focamos em sua acurácia em caracterizar as conceituações que visam representar. Validar a acurácia de um modelo envolve entender os mundos admissíveis que são implícitos a ele e sua adequação em representar as conceituações de domínio. Esforços anteriores para validação de modelos conceituais baseados em ontologia deram origem a um simulador de modelos que permite a modeladores ser confrontado com as consequências de suas decisões de modelagem. Esse simulador de modelos gera sequências de snapshots da instanciação de modelos, revelando a dinâmica da criação, mudança e destruição de objetos. Ainda que esses esforços contribuam para avaliação de modelos, eles podem ser difíceis de compreender e usar e este trabalho melhora a abordagem existente usando um misto de histórias formais e informais. Histórias sempre foram usadas como meio de comunicar ideias complexas e nós argumentamos que podem ser usadas efetivamente para avaliar modelos e revelar escolhas de modelagem. Esta dissertação propõe uma abordagem para avaliar modelos conceituais criando narrativas a respeito do domínio de discurso. Essas narrativas exemplificam como conceitos de um modelo conceitual são empregados em seu contexto real. Para usá-las no simulador de modelos existente, as narrativas em linguagem natural são formalizadas como histórias abstratas usando a linguagem de especificação que definimos e, então, usadas para restringir a simulação de modelos, guiando o simulador para que corresponda à narrativa, apoiando a validação do modelo conceitual. Contrastar simulações com as conceituações pretendidas é a base da avaliação de modelos nessa abordagem. A narrativa em linguagem natural permite um entendimento intuitivo do significado dos conceitos. Comparar essas narrativas a diagramas de objeto que mostram a instanciação do modelo formal permite compreender como os conceitos são formalizados

Seleção econômica de sistemas de irrigação para produção de tomate em cultivo orgânico na região de Cerrado do Brasil Central.

201

Orbit determination of Transneptunian objects and Centaurs for the prediction of stellar occultations

The prediction of stellar occultations by Transneptunian objects and Centaurs is a difficult challenge that requires accuracy both in the occulted star position as for the object ephemeris. Until now, the most used method of prediction involving tens of TNOs/Centaurs was to consider a constant offset for the right ascension and for the declination with respect to a reference ephemeris. This offset is determined as the difference between the most recent observations of the TNO and the reference ephemeris. This method can be successfully applied when the offset remains constant with time. This paper presents an alternative method of prediction based on a new accurate orbit determination procedure, which uses all the available positions of the TNO from the Minor Planet Center database plus sets of new astrometric positions from unpublished observations. The orbit determination is performed through a numerical integration procedure (NIMA), in which we develop a specific weighting scheme. The NIMA method was applied for 51 selected TNOs/Centaurs. For this purpose, we have performed about 2900 new observations during 2007-2014. Using NIMA, we succeed in predicting the stellar occultations of 10 TNOs and 3 Centaurs between 2013 and 2015. By comparing the NIMA and JPL ephemerides, we highlighted the variation of the offset between them with time. Giving examples, we show that the constant offset method could not accurately predict 6 out of the 13 observed positive occultations successfully predicted by NIMA. The results indicate that NIMA is capable of efficiently refine the orbits of these bodies. Finally, we show that the astrometric positions given by positive occultations can help to further refine the orbit of the TNO and consequently the future predictions. We also provide the unpublished observations of the 51 selected TNOs and their ephemeris in a usable format by the SPICE library.Comment: 12 pages, 9 figures, accepted in A&

Forrageamento de operárias de mandaçaia (Melipona mandacaia): 2. Duração das viagens.

Suplemento. Edição dos Resumos do II Seminário Brasileiro de Própolis e Pólen; V Congresso Baiano de Apicultura e Meliponicultura; VII Seminário de Própolis do Nordeste; II Feira da Cadeia Produtiva da Apicultura e Meliponicultura Ilhéus, maio, 2013

Optical and Near-Infrared UBVRIJHK Photometry for the RR Lyrae stars in the Nearby Globular Cluster M4 (NGC 6121)

We present optical and near-infrared UBVRIJHK photometry of stars in the Galactic globular cluster M4 (NGC 6121) based upon a large corpus of observations obtained mainly from public astronomical archives. We concentrate on the RR Lyrae variable stars in the cluster, and make a particular effort to accurately reidentify the previously discovered variables. We have also discovered two new probable RR Lyrae variables in the M4 field: one of them by its position on the sky and its photometric properties is a probable member of the cluster, and the second is a probable background (bulge?) object. We provide accurate equatorial coordinates for all 47 stars identified as RR Lyraes, new photometric measurements for 46 of them, and new period estimates for 45. We have also derived accurate positions and mean photometry for 34 more stars previously identified as variable stars of other types, and for an additional five non-RR Lyrae variable stars identified for the first time here. We present optical and near-infrared color-magnitude diagrams for the cluster and show the locations of the variable stars in them. We present the Bailey (period-amplitude) diagrams and the period-frequency histogram for the RR Lyrae stars in M4 and compare them to the corresponding diagrams for M5 (NGC 5904). We conclude that the RR Lyrae populations in the two clusters are quite similar in all the relevant properties that we have considered. The mean periods, pulsation-mode ratios, and Bailey diagrams of these two clusters show support for the recently proposed "Oosterhoff-neutral" classification.Comment: 33 pages, 16 figures, 7 table

Atividade externa de manduri (Melipona asilvai) nos períodos seco e chuvoso na região de Petrolina (PE).

O conhecimento sobre a atividade externa das abelhas fornece informações úteis para a sua produção e uso em programas de polinização. Esse trabalho foi realizado com o objetivo registrar as atividades de voo da abelha sem ferrão manduri (Melipona asilvai) em Petrolina, PE. Foi utilizada uma colônia alojada no Laboratório de Abelhas, Embrapa Semiárido. As observações foram realizadas em intervalos de 10min a cada meia hora, de 5h00min às 18h10min, por cinco dias consecutivos, respectivamente no período seco (08-12 de agosto de 2011) e chuvoso (19-23 de março de 2012). Contabilizou-se o número de abelhas que entraram no ninho carregando pólen, barro, resina e sem carga aparente na corbícula (assumido como néctar) e o número de abelhas que saíram do ninho removendo lixo ou sem material. No período seco, as atividades foram iniciadas às 7h com temperatura de 20ºC e umidade relativa de 78%. No geral a maior intensidade de voo neste período foi registrada entre 10h30min e 12h00min, quando a temperatura estava entre 28-30ºC e umidade relativa de 35-45%. No período chuvoso as atividades foram iniciadas às5h32min, com temperatura de 21ºC e umidade relativa de 75%, e atingiram o pico com temperatura entre 32- 33ºC e umidade relativa entre 43-46%. Em ambos os períodos, a atividade de forrageamento foi mais intensa em horários mais quentes

Recursos florais coletados por Apis mellifera em girassol (Helianthus annuus) na região de Petrolina-PE.

O girassol (Helianthus annuus L.) é uma espécie de polinização cruzada, cujos principais polinizadores são as abelhas. Este trabalho teve por objetivo investigar o comportamento de pastejo das abelhas melíferas (Apis mellifera) em inflorescências de girassol, bem como o tipo de recurso coletado (néctar e/ou pólen) por elas. O trabalho foi realizado em junho de 2012, em cultivo de girassol localizado no Campo Experimental de Bebedouro, Embrapa Semiárido, em Petrolina (PE). Foram realizadas caminhadas nos canteiros, em cinco dias consecutivos, e foram anotados o número de visitantes e o recurso coletado, de 50 flores previamente marcadas. Um total de 3.968 abelhas foi contabilizado visitando as inflorescências. A coleta de néctar foi significativamente maior (77,46%) que a de pólen (22,53%), durante todo o período de observação